informal proof

英 [ɪnˈfɔːml pruːf] 美 [ɪnˈfɔːrml pruːf]

网络  非形式证明; 非正式证明

计算机



双语例句

  1. Since we are doing an informal proof, I will not name the axioms we are using nor will I attempt to prove the intermediate theorems used to make the proof work.
    由于我们在进行不正式的证明,所以我不会为所使用的公理命名,也不会尝试去证明那些用来令证明有效的中间定理。
  2. Aiming at the high rate issue the small businesses meet in informal finance, this paper makes a strict proof with basic approach and method in modern economics, including phenomenon observe, basic hypothesis, model establishment and inference.
    针对我国部分小企业所涉足的高利率民间借贷问题,本文按照现代经济学解释经济现象的基本思路和方法&现象观察、基本假设、建模与推导以及结论等,对之进行严格论证。